High-Speed External Downloads	Speed	Downloads	Health
basic proof theory.iso	2908 kb/s	12584
[Extra quality]basic proof theory	2373 kb/s	4537
[Hot release]-basic proof theory	2829 kb/s	5362
basic proof theory	2949 kb/s	12297